61. Elements of finite model theory
المؤلف: Libkin, Leonid.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
L53
2004
62. Elements of finite model theory
المؤلف: by Leonid Libkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Model theory.
رده :
QA9
.
7
B954
2011
63. Elements of mathematical logic ; model theory
المؤلف: Kreisel, Georg
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
64. Empirical model discovery and theory evaluation :
المؤلف: David F. Hendry and Jurgen A. Doornik.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Econometrics-- Computer programs.,Econometrics-- Methodology.,BUSINESS & ECONOMICS-- Econometrics.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Econometrics-- Computer programs.,Econometrics-- Methodology.
رده :
HB139
.
H454
2014eb
65. Essays in the Theory of Economic Regulation: A Variety Model for Economics and Law
المؤلف: \ By Cosmo Kenningham Marchant
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
66. Explicit nonlinear model predictive control :theory and applications
المؤلف: Grancharova, Alexandra Ivanova.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Nonlinear control theory
رده :
TJ
217
.
6
.
G73
67. FINITE MODEL THEORY (1).
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
68. Finite and Algorithmic Model Theory
المؤلف: / Esparza/Michaux/Steinhorn
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
69. Finite and algorithmic model theory
المؤلف: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
70. Finite and algorithmic model theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Finite model theory. ;
71. Finite and algorithmic model theory
المؤلف: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: (طهران)
موضوع: ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
72. Finite and algorithmic model theory
المؤلف: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
المکتبة: (طهران)
موضوع: ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
73. Finite model theory
المؤلف: Ebbinghaus, Heinz-Dieter, 9391-
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
E22F5
74. Finite model theory
المؤلف: Ebbinghaus, Heinz-Dieter, 9391-
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
75. Finite model theory
المؤلف: / Heinz-Dieter Ebbinghaus, Jeorg Flum
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.
رده :
QA
,
9
.
7
,.
E23
,
2005
76. Finite model theory
المؤلف:
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Model theory
رده :
511
.
34
E15f
1999
77. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
78. Finite model theory
المؤلف: Ebbinghaus, Heinz-Dieter
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
E23
1999
79. Finite model theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Model theory. ;
80. Finite model theory
المؤلف: / Heinz-Dieter Ebbinghaus, Jorg Flum
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Model theory
رده :
QA9
.
7
.
E23
1999
